Bootstrapping a Forth for Art
tia.mat.br·6h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Forcing ChatGPT to Obey: Minimal and Deterministic Rules
dev.to·16h·
Discuss: DEV
📝ABNF Parsing
Symmetry in subword segmentation
languagelog.ldc.upenn.edu·6h
📄Text Segmentation
Tradeoffs of Highly-Expressive Types
jnkr.tech·9h·
Discuss: Hacker News
🎯Gradual Typing
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
What is a large language model?
proton.me·1d
💻Local LLMs
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
Quirks of Common Lisp Types
fosskers.ca·5h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·3h·
Discuss: Hacker News
📊Count-Min Sketch
🌟Introducing Art-0-8B: Reasoning the way you want it to with Adaptive Thinking🌟 [R]
reddit.com·7h·
Discuss: r/MachineLearning
🔗Constraint Handling
Answering some questions about Baba Yaga
eli.li·11h·
Discuss: Hacker News
🎯Dependent Types
The Art of Transformer Programming (2023)
yanivle.github.io·7h·
Discuss: Hacker News
🤖Lisp Machines
Equivalence via Surjections
golem.ph.utexas.edu·1d
🔀Category Theory
LLMs running locally
markjgsmith.com·7h
🌀Brotli Internals
A Unified Theory of Language
arxiv.org·2d
💻Programming languages
Notes on an overheard conversation between a prescriptivist and a descriptivist
boston.conman.org·2h
🔍Archive Semantics
Micro DSLs for scenario tests with Rust macros
dystroy.org·5h
🦀Rust Macros
Applied AI Fundamentals: Structured Outputs
ouachitalabs.com·15h·
Discuss: Hacker News
📝Concrete Syntax
Working with Contexts
oreilly.com·2d
🔗Constraint Handling
Why “AI” instead of “LLM”
brajeshwar.com·5h
💻Local LLMs